[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 20, 23, 24, 25, 26, 27, 28, 29, 30, 32, 36, 37, 38, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 64, 65, 66, 67, 68, 73, 74, 75, 76, 77, 84, 85, 86, 87, 88, 94, 95, 96, 97, 98, 103, 104, 105, 106, 107, 114, 115, 116, 117, 118, 119, 121, 123, 125, 127, 129, 131, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 177, 178, 179, 182, 186, 187, 188, 189, 190, 194, 196, 198, 202, 204, 206, 210, 212, 217, 219, 221, 222, 223, 224, 225, 226, 227, 228, 230, 236, 237, 238, 239, 240, 247, 248, 249, 251, 252, 258, 259, 260, 262, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 293, 295, 297, 300, 306, 307, 309, 311, 313, 315, 317, 319, 321, 322, 324, 326, 328, 330, 332, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 357, 362, 363, 364, 365, 366, 369, 370, 371, 374, 375, 376, 377, 378, 380, 382, 383, 384, 385, 386 }

B grade: { 173, 304, 354, 379, 381 }

C grade: { 10, 12, 14, 15, 16, 17, 18, 19, 21, 22, 31, 33, 34, 35, 39, 40, 41, 59, 60, 61, 62, 63, 69, 70, 71, 72, 78, 79, 80, 81, 82, 83, 89, 90, 91, 92, 93, 99, 100, 101, 102, 108, 109, 110, 111, 112, 113, 120, 122, 124, 126, 128, 130, 132, 174, 175, 176, 180, 181, 183, 184, 185, 191, 192, 193, 195, 197, 199, 200, 201, 203, 205, 207, 208, 209, 211, 213, 214, 215, 216, 218, 220, 229, 231, 232, 233, 234, 235, 241, 242, 243, 244, 245, 246, 250, 253, 254, 255, 256, 257, 261, 263, 264, 265, 266, 267, 268, 269, 270, 292, 294, 296, 298, 299, 301, 302, 303, 305, 308, 310, 312, 314, 316, 318, 320, 323, 325, 327, 329, 331, 333, 355, 356, 358, 359, 360, 367, 368, 372, 373, 387 }

F grade: { 361 }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 57, 58, 59, 67, 68, 76, 77, 78, 79, 87, 88, 97, 98, 99, 106, 107, 125, 127, 129, 131, 134, 135, 136, 137, 163, 195, 196, 197, 198, 204, 205, 206, 210, 211, 212, 213, 216, 217, 218, 219, 220, 221, 226, 227, 228, 229, 236, 237, 238, 239, 241, 242, 243, 245, 246, 247, 248, 249, 250, 253, 257, 258, 259, 260, 261, 295, 297, 304, 306, 313, 319, 321, 324, 326, 330, 332, 334, 353, 365, 376 }

B grade: { 56, 60, 61, 62, 63, 66, 69, 70, 71, 72, 75, 80, 81, 82, 83, 86, 89, 90, 91, 92, 93, 96, 100, 101, 102, 105, 108, 109, 110, 111, 112, 113, 114, 116, 118, 121, 123, 133, 138, 231, 232, 233, 234, 235, 244, 254, 255, 256, 263, 264, 265, 266, 267, 268, 269, 270 }

C grade: { 54, 55, 64, 65, 73, 74, 84, 85, 94, 95, 103, 104, 115, 117, 119, 120, 122, 124, 126, 128, 130, 132, 139, 140, 141, 142, 143, 144, 164, 165, 177, 178, 179, 191, 192, 193, 194, 199, 200, 201, 202, 203, 207, 208, 209, 214, 215, 230, 240, 251, 252, 262, 291, 292, 293, 294, 296, 298, 299, 300, 301, 302, 303, 305, 307, 308, 309, 310, 311, 312, 314, 315, 316, 317, 318, 320, 322, 323, 325, 327, 328, 329, 331, 333, 351, 352, 377, 378 }

F grade: { 23, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 222, 223, 224, 225, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 54, 55, 56, 57, 58, 64, 65, 66, 67, 68, 73, 74, 75, 76, 77, 84, 85, 86, 87, 88, 94, 95, 96, 97, 98, 103, 104, 105, 106, 107, 163, 164, 165, 177, 178, 179, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 226, 227, 228, 229, 230, 236, 237, 238, 239, 240, 247, 248, 249, 250, 251, 252, 258, 259, 260, 261, 262, 351, 352, 353, 363, 364, 365, 376, 377, 378 }

B grade: { }

C grade: { }

F grade: { 23, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 59, 60, 61, 62, 63, 69, 70, 71, 72, 78, 79, 80, 81, 82, 83, 89, 90, 91, 92, 93, 99, 100, 101, 102, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 222, 223, 224, 225, 231, 232, 233, 234, 235, 241, 242, 243, 244, 245, 246, 253, 254, 255, 256, 257, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 354, 355, 356, 357, 358, 359, 360, 361, 362, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 19, 20, 24, 25, 26, 27, 28, 29, 36, 37, 38, 39, 40, 41, 52, 57, 58, 66, 67, 68, 76, 77, 87, 88, 114, 116, 121, 123, 127, 134, 135, 163, 164, 165, 177, 178, 179, 226, 227, 236, 237, 247, 248, 258, 259, 295, 297, 306, 319, 321, 324, 326, 332, 334, 351, 352, 353, 363, 364, 365, 376, 377, 378 }

B grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 21, 22, 54, 55, 56, 64, 65, 73, 74, 75, 84, 85, 86, 94, 95, 96, 97, 98, 103, 104, 105, 106, 107, 118, 125, 129, 131, 133, 136, 137, 138, 191, 192, 193, 194, 199, 200, 201, 202, 203, 207, 208, 209, 214, 215, 228, 229, 230, 238, 239, 240, 249, 250, 251, 252, 260, 261, 262, 291, 293, 300, 302, 304, 307, 309, 311, 313, 315, 317, 322, 328, 330 }

C grade: { }

F grade: { 23, 30, 31, 32, 33, 34, 35, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 53, 59, 60, 61, 62, 63, 69, 70, 71, 72, 78, 79, 80, 81, 82, 83, 89, 90, 91, 92, 93, 99, 100, 101, 102, 108, 109, 110, 111, 112, 113, 115, 117, 119, 120, 122, 124, 126, 128, 130, 132, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 195, 196, 197, 198, 204, 205, 206, 210, 211, 212, 213, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 231, 232, 233, 234, 235, 241, 242, 243, 244, 245, 246, 253, 254, 255, 256, 257, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 292, 294, 296, 298, 299, 301, 303, 305, 308, 310, 312, 314, 316, 318, 320, 323, 325, 327, 329, 331, 333, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 354, 355, 356, 357, 358, 359, 360, 361, 362, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 295, 319, 324, 353, 376 }

B grade: { }

C grade: { }

F grade: { 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 320, 321, 322, 323, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

2.1.7 Giac

A grade: { 1, 12, 13, 26, 39, 40, 41, 54, 55, 56, 57, 58, 64, 65, 66, 67, 68, 73, 74, 75, 76, 77, 84, 85, 86, 87, 88, 94, 95, 96, 97, 98, 103, 104, 105, 106, 107, 163, 226, 227, 228, 229, 230, 236, 237, 238, 240, 247, 248, 249, 250, 251, 252, 258, 259, 260, 262, 376 }

B grade: { 3, 5, 7, 24, 25, 27, 28, 29, 52 }

C grade: { }

F grade: { 2, 4, 6, 8, 9, 10, 11, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 30, 31, 32, 33, 34, 35, 36, 37, 38, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 53, 59, 60, 61, 62, 63, 69, 70, 71, 72, 78, 79, 80, 81, 82, 83, 89, 90, 91, 92, 93, 99, 100, 101, 102, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 231, 232, 233, 234, 235, 239, 241, 242, 243, 244, 245, 246, 253, 254, 255, 256, 257, 261, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 27, 56, 57, 58, 66, 67, 68, 75, 76, 77, 86, 87, 88, 96, 97, 98, 105, 106, 107, 114, 116, 121, 123, 127, 129, 134, 135, 136, 163, 164, 165, 177, 178, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 226, 227, 228, 229, 236, 237, 238, 239, 247, 248, 249, 250, 258, 259, 260, 261, 295, 297, 304, 306, 313, 319, 321, 324, 326, 330, 332, 334, 351, 352, 353, 364, 365, 376, 377, 378 }

C grade: { }

F grade: { 23, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 59, 60, 61, 62, 63, 64, 65, 69, 70, 71, 72, 73, 74, 78, 79, 80, 81, 82, 83, 84, 85, 89, 90, 91, 92, 93, 94, 95, 99, 100, 101, 102, 103, 104, 108, 109, 110, 111, 112, 113, 115, 117, 118, 119, 120, 122, 124, 125, 126, 128, 130, 131, 132, 133, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 222, 223, 224, 225, 230, 231, 232, 233, 234, 235, 240, 241, 242, 243, 244, 245, 246, 251, 252, 253, 254, 255, 256, 257, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 296, 298, 299, 300, 301, 302, 303, 305, 307, 308, 309, 310, 311, 312, 314, 315, 316, 317, 318, 320, 322, 323, 325, 327, 328, 329, 331, 333, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 379, 380, 381, 382, 383, 384, 385, 386, 387 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 12 12 12 17 11 18 19 13 16
normalized size 1 1.00 1.00 1.42 0.92 1.50 1.58 1.08 1.33
time (sec) N/A 0.004 0.007 0.010 0.431 1.401 0.109 0.381 2.570
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 14 14 23 24 18 17 15 0 14
normalized size 1 1.00 1.64 1.71 1.29 1.21 1.07 0.00 1.00
time (sec) N/A 0.008 0.007 0.010 0.423 1.346 0.135 0.000 2.506
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 27 27 25 31 31 27 32 246 30
normalized size 1 1.00 0.93 1.15 1.15 1.00 1.19 9.11 1.11
time (sec) N/A 0.011 0.025 0.010 0.606 1.373 0.176 1.516 2.505
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 38 35 29 26 27 0 24
normalized size 1 1.00 1.36 1.25 1.04 0.93 0.96 0.00 0.86
time (sec) N/A 0.015 0.011 0.010 0.718 0.599 0.215 0.000 2.503
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 37 44 54 39 44 512 38
normalized size 1 1.00 0.86 1.02 1.26 0.91 1.02 11.91 0.88
time (sec) N/A 0.020 0.048 0.010 0.482 0.552 0.344 6.281 2.503
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 53 50 41 38 39 0 35
normalized size 1 1.00 1.20 1.14 0.93 0.86 0.89 0.00 0.80
time (sec) N/A 0.025 0.016 0.011 0.551 0.563 0.463 0.000 2.532
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 47 57 74 51 56 810 49
normalized size 1 1.00 0.82 1.00 1.30 0.89 0.98 14.21 0.86
time (sec) N/A 0.027 0.106 0.010 0.500 0.593 0.675 38.703 2.493
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 68 61 51 48 51 0 44
normalized size 1 1.00 1.17 1.05 0.88 0.83 0.88 0.00 0.76
time (sec) N/A 0.030 0.012 0.010 0.630 0.625 0.922 0.000 2.521
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 232 232 175 200 186 600 0 0 93
normalized size 1 1.00 0.75 0.86 0.80 2.59 0.00 0.00 0.40
time (sec) N/A 0.196 0.385 0.069 0.804 0.567 0.000 0.000 3.177
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 40 182 176 594 0 0 74
normalized size 1 1.00 0.19 0.86 0.83 2.80 0.00 0.00 0.35
time (sec) N/A 0.145 0.072 0.057 0.658 0.642 0.000 0.000 2.791
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 159 176 170 533 0 0 73
normalized size 1 1.00 0.76 0.84 0.81 2.54 0.00 0.00 0.35
time (sec) N/A 0.151 0.170 0.064 0.571 1.390 0.000 0.000 2.738
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 40 160 153 519 0 176 49
normalized size 1 1.00 0.21 0.83 0.80 2.70 0.00 0.92 0.26
time (sec) N/A 0.121 0.044 0.070 0.427 0.676 0.000 0.519 2.625
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 131 166 155 493 0 184 59
normalized size 1 1.00 0.68 0.86 0.81 2.57 0.00 0.96 0.31
time (sec) N/A 0.121 0.109 0.078 0.685 1.008 0.000 0.539 2.724
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 38 184 167 652 0 0 76
normalized size 1 1.00 0.18 0.87 0.79 3.08 0.00 0.00 0.36
time (sec) N/A 0.146 0.067 0.062 0.586 0.656 0.000 0.000 2.728
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 214 214 40 184 168 653 0 0 75
normalized size 1 1.00 0.19 0.86 0.79 3.05 0.00 0.00 0.35
time (sec) N/A 0.150 0.090 0.062 0.728 0.809 0.000 0.000 3.068
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 40 202 195 751 0 0 92
normalized size 1 1.00 0.17 0.86 0.83 3.21 0.00 0.00 0.39
time (sec) N/A 0.181 0.108 0.066 0.609 1.018 0.000 0.000 3.115
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 243 243 38 215 185 588 0 0 247
normalized size 1 1.00 0.16 0.88 0.76 2.42 0.00 0.00 1.02
time (sec) N/A 0.418 0.027 0.143 0.662 1.198 0.000 0.000 3.076
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 224 224 40 202 168 583 0 0 259
normalized size 1 1.00 0.18 0.90 0.75 2.60 0.00 0.00 1.16
time (sec) N/A 0.394 0.050 0.121 0.481 0.566 0.000 0.000 2.950
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 40 114 98 124 0 0 146
normalized size 1 1.00 0.31 0.87 0.75 0.95 0.00 0.00 1.11
time (sec) N/A 0.104 0.043 0.054 0.803 0.484 0.000 0.000 2.632
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 100 114 99 299 0 0 128
normalized size 1 1.00 0.76 0.87 0.76 2.28 0.00 0.00 0.98
time (sec) N/A 0.100 0.143 0.053 0.774 0.690 0.000 0.000 2.732
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 224 224 38 208 170 548 0 0 230
normalized size 1 1.00 0.17 0.93 0.76 2.45 0.00 0.00 1.03
time (sec) N/A 0.326 0.029 0.119 0.826 0.915 0.000 0.000 2.703
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 245 245 38 227 182 701 0 0 278
normalized size 1 1.00 0.16 0.93 0.74 2.86 0.00 0.00 1.13
time (sec) N/A 0.436 0.062 0.119 0.729 0.615 0.000 0.000 2.548
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 53 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.028 0.042 0.675 0.000 0.670 0.000 0.000 0.000
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 56 58 47 74 0 696 -1
normalized size 1 1.00 0.57 0.59 0.48 0.76 0.00 7.10 -0.01
time (sec) N/A 0.042 0.376 0.153 0.783 0.628 0.000 5.706 0.000
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 47 48 34 52 0 256 -1
normalized size 1 1.00 0.77 0.79 0.56 0.85 0.00 4.20 -0.02
time (sec) N/A 0.028 0.110 0.115 0.592 0.568 0.000 1.850 0.000
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 37 19 38 0 23 -1
normalized size 1 1.00 1.00 1.16 0.59 1.19 0.00 0.72 -0.03
time (sec) N/A 0.017 0.041 0.138 0.574 1.365 0.000 0.532 0.000
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 39 47 33 50 0 81 34
normalized size 1 1.00 1.26 1.52 1.06 1.61 0.00 2.61 1.10
time (sec) N/A 0.016 0.087 0.158 0.837 1.338 0.000 0.505 2.446
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 56 64 46 69 0 208 -1
normalized size 1 1.00 0.85 0.97 0.70 1.05 0.00 3.15 -0.02
time (sec) N/A 0.029 0.386 0.151 0.483 0.826 0.000 3.429 0.000
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 68 74 66 82 0 271 -1
normalized size 1 1.00 0.70 0.76 0.68 0.85 0.00 2.79 -0.01
time (sec) N/A 0.040 0.271 0.147 0.592 0.611 0.000 5.273 0.000
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 364 364 199 266 178 0 0 0 -1
normalized size 1 1.00 0.55 0.73 0.49 0.00 0.00 0.00 -0.00
time (sec) N/A 0.150 0.840 0.124 0.970 0.000 0.000 0.000 0.000
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 286 286 54 236 140 0 0 0 -1
normalized size 1 1.00 0.19 0.83 0.49 0.00 0.00 0.00 -0.00
time (sec) N/A 0.126 0.062 0.079 0.626 0.000 0.000 0.000 0.000
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 255 255 161 208 133 0 0 0 -1
normalized size 1 1.00 0.63 0.82 0.52 0.00 0.00 0.00 -0.00
time (sec) N/A 0.113 0.254 0.103 0.659 0.000 0.000 0.000 0.000
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 255 255 43 211 126 0 0 0 -1
normalized size 1 1.00 0.17 0.83 0.49 0.00 0.00 0.00 -0.00
time (sec) N/A 0.118 0.035 0.118 0.535 0.000 0.000 0.000 0.000
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 298 298 45 236 163 0 0 0 -1
normalized size 1 1.00 0.15 0.79 0.55 0.00 0.00 0.00 -0.00
time (sec) N/A 0.130 0.071 0.101 0.633 0.000 0.000 0.000 0.000
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 364 364 45 272 172 0 0 0 -1
normalized size 1 1.00 0.12 0.75 0.47 0.00 0.00 0.00 -0.00
time (sec) N/A 0.151 0.057 0.109 0.813 0.000 0.000 0.000 0.000
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 182 182 86 84 79 96 0 0 -1
normalized size 1 1.00 0.47 0.46 0.43 0.53 0.00 0.00 -0.01
time (sec) N/A 0.063 0.755 0.116 0.840 1.115 0.000 0.000 0.000
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 66 64 53 62 0 0 -1
normalized size 1 1.00 0.60 0.58 0.48 0.56 0.00 0.00 -0.01
time (sec) N/A 0.043 0.772 0.074 0.501 1.139 0.000 0.000 0.000
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 41 42 26 37 0 0 -1
normalized size 1 1.00 0.82 0.84 0.52 0.74 0.00 0.00 -0.02
time (sec) N/A 0.021 0.097 0.096 0.645 1.033 0.000 0.000 0.000
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 43 40 27 39 0 45 -1
normalized size 1 1.00 0.84 0.78 0.53 0.76 0.00 0.88 -0.02
time (sec) N/A 0.022 0.052 0.122 0.687 0.937 0.000 0.714 0.000
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 45 63 50 62 0 124 -1
normalized size 1 1.00 0.38 0.53 0.42 0.52 0.00 1.04 -0.01
time (sec) N/A 0.043 0.048 0.098 0.514 0.777 0.000 4.342 0.000
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 183 183 45 83 70 82 0 185 -1
normalized size 1 1.00 0.25 0.45 0.38 0.45 0.00 1.01 -0.01
time (sec) N/A 0.064 0.036 0.105 0.952 0.799 0.000 8.357 0.000
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 57 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.039 0.051 180.000 0.000 1.668 0.000 0.000 0.000
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 49 0 0 0 0 0 -1
normalized size 1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.038 0.045 0.574 0.000 1.140 0.000 0.000 0.000
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 55 0 0 0 0 0 -1
normalized size 1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.038 0.042 0.888 0.000 0.491 0.000 0.000 0.000
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 53 0 0 0 0 0 -1
normalized size 1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.040 0.041 0.585 0.000 0.594 0.000 0.000 0.000
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 62 0 0 0 0 0 -1
normalized size 1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.048 0.106 3.414 0.000 0.000 0.000 0.000 0.000
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 60 0 0 0 0 0 -1
normalized size 1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.045 0.072 0.732 0.000 0.000 0.000 0.000 0.000
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 56 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.042 0.040 0.706 0.000 0.000 0.000 0.000 0.000
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 60 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.049 0.052 0.602 0.000 0.000 0.000 0.000 0.000
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 60 0 0 0 0 0 -1
normalized size 1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.048 0.070 0.752 0.000 0.000 0.000 0.000 0.000
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 62 0 0 0 0 0 -1
normalized size 1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.047 0.072 0.766 0.000 0.000 0.000 0.000 0.000
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) F A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 0 0 23 0 152 -1
normalized size 1 1.00 1.00 0.00 0.00 0.72 0.00 4.75 -0.03
time (sec) N/A 0.019 0.023 180.000 0.000 2.389 0.000 9.819 0.000
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-1) F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 59 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.045 0.053 180.000 0.000 0.666 0.000 0.000 0.000
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 257 257 122 542 225 1916 0 245 -1
normalized size 1 1.00 0.47 2.11 0.88 7.46 0.00 0.95 -0.00
time (sec) N/A 0.196 0.241 0.586 0.755 168.979 0.000 1.411 0.000
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 227 227 104 516 194 1903 0 219 -1
normalized size 1 1.00 0.46 2.27 0.85 8.38 0.00 0.96 -0.00
time (sec) N/A 0.161 0.181 0.482 0.636 113.859 0.000 0.989 0.000
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 18 38 23 37 0 16 48
normalized size 1 1.00 1.00 2.11 1.28 2.06 0.00 0.89 2.67
time (sec) N/A 0.041 0.076 0.491 0.550 0.469 0.000 0.910 3.047
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 30 50 33 63 0 43 102
normalized size 1 1.00 0.73 1.22 0.80 1.54 0.00 1.05 2.49
time (sec) N/A 0.045 0.129 0.587 0.529 0.532 0.000 0.690 6.532
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 50 60 48 82 0 58 356
normalized size 1 1.00 0.79 0.95 0.76 1.30 0.00 0.92 5.65
time (sec) N/A 0.052 0.170 0.577 0.324 0.470 0.000 0.522 7.017
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 139 216 0 0 0 0 -1
normalized size 1 1.00 1.32 2.06 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.133 1.942 0.545 0.000 0.485 0.000 0.000 0.000
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 57 188 0 0 0 0 -1
normalized size 1 1.00 0.76 2.51 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.090 1.049 0.413 0.000 0.448 0.000 0.000 0.000
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 73 157 0 0 0 0 -1
normalized size 1 1.00 1.55 3.34 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.068 0.154 0.505 0.000 0.447 0.000 0.000 0.000
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 115 297 0 0 0 0 -1
normalized size 1 1.00 1.49 3.86 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.106 0.590 0.591 0.000 0.422 0.000 0.000 0.000
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 124 550 0 0 0 0 -1
normalized size 1 1.00 1.18 5.24 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.143 1.418 0.599 0.000 0.421 0.000 0.000 0.000
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 277 277 123 702 235 1580 0 252 -1
normalized size 1 1.00 0.44 2.53 0.85 5.70 0.00 0.91 -0.00
time (sec) N/A 0.196 0.770 0.543 0.827 74.619 0.000 0.522 0.000
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 247 247 113 676 204 1568 0 226 -1
normalized size 1 1.00 0.46 2.74 0.83 6.35 0.00 0.91 -0.00
time (sec) N/A 0.176 0.547 0.424 0.564 73.443 0.000 0.402 0.000
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 18 58 23 24 0 16 43
normalized size 1 1.00 1.00 3.22 1.28 1.33 0.00 0.89 2.39
time (sec) N/A 0.043 0.055 0.500 0.685 0.428 0.000 1.373 2.765
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 30 50 34 51 0 43 100
normalized size 1 1.00 0.73 1.22 0.83 1.24 0.00 1.05 2.44
time (sec) N/A 0.048 0.082 0.559 0.587 0.453 0.000 0.547 3.494
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 42 60 58 71 0 64 292
normalized size 1 1.00 0.67 0.95 0.92 1.13 0.00 1.02 4.63
time (sec) N/A 0.055 0.145 0.592 0.468 0.493 0.000 0.596 5.877
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 90 540 0 0 0 0 -1
normalized size 1 1.00 0.82 4.91 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.141 0.605 0.466 0.000 0.495 0.000 0.000 0.000
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 58 526 0 0 0 0 -1
normalized size 1 1.00 0.76 6.92 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.087 0.291 0.426 0.000 0.501 0.000 0.000 0.000
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 61 511 0 0 0 0 -1
normalized size 1 1.00 0.80 6.72 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.094 0.291 0.487 0.000 0.414 0.000 0.000 0.000
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 71 491 0 0 0 0 -1
normalized size 1 1.00 0.70 4.81 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.143 0.587 0.573 0.000 0.462 0.000 0.000 0.000
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 277 277 142 590 240 1997 0 278 -1
normalized size 1 1.00 0.51 2.13 0.87 7.21 0.00 1.00 -0.00
time (sec) N/A 0.194 0.580 0.509 0.592 114.519 0.000 3.288 0.000
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 247 247 126 564 209 1984 0 252 -1
normalized size 1 1.00 0.51 2.28 0.85 8.03 0.00 1.02 -0.00
time (sec) N/A 0.175 0.406 0.411 0.832 111.832 0.000 0.499 0.000
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 38 23 40 0 24 56
normalized size 1 1.00 1.00 1.90 1.15 2.00 0.00 1.20 2.80
time (sec) N/A 0.042 0.081 0.485 0.423 0.583 0.000 0.617 2.476
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 32 50 36 58 0 42 64
normalized size 1 1.00 0.78 1.22 0.88 1.41 0.00 1.02 1.56
time (sec) N/A 0.048 0.114 0.503 0.571 0.589 0.000 0.541 2.721
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 42 60 56 82 0 70 134
normalized size 1 1.00 0.67 0.95 0.89 1.30 0.00 1.11 2.13
time (sec) N/A 0.054 0.232 0.530 0.475 0.442 0.000 0.708 5.464
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 153 246 0 0 0 0 -1
normalized size 1 1.00 1.12 1.80 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.175 3.303 0.461 0.000 0.559 0.000 0.000 0.000
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 133 220 0 0 0 0 -1
normalized size 1 1.00 1.23 2.04 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.116 2.240 0.411 0.000 0.468 0.000 0.000 0.000
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 71 192 0 0 0 0 -1
normalized size 1 1.00 0.89 2.40 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.101 0.388 0.474 0.000 0.499 0.000 0.000 0.000
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 71 192 0 0 0 0 -1
normalized size 1 1.00 0.89 2.40 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.107 0.350 0.510 0.000 0.461 0.000 0.000 0.000
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 110 316 0 0 0 0 -1
normalized size 1 1.00 1.00 2.87 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.147 0.492 0.551 0.000 0.474 0.000 0.000 0.000
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 130 571 0 0 0 0 -1
normalized size 1 1.00 0.93 4.08 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.185 1.649 0.592 0.000 0.437 0.000 0.000 0.000
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 257 257 122 688 220 1456 0 246 -1
normalized size 1 1.00 0.47 2.68 0.86 5.67 0.00 0.96 -0.00
time (sec) N/A 0.174 0.712 0.510 0.490 62.819 0.000 1.592 0.000
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 227 227 109 662 188 1442 0 218 -1
normalized size 1 1.00 0.48 2.92 0.83 6.35 0.00 0.96 -0.00
time (sec) N/A 0.150 0.645 0.455 0.576 61.150 0.000 0.702 0.000
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 38 23 46 0 23 102
normalized size 1 1.00 1.00 1.90 1.15 2.30 0.00 1.15 5.10
time (sec) N/A 0.036 0.101 0.549 0.513 0.573 0.000 0.794 3.326
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 40 50 35 70 0 45 530
normalized size 1 1.00 0.93 1.16 0.81 1.63 0.00 1.05 12.33
time (sec) N/A 0.043 0.130 0.614 0.319 0.616 0.000 1.132 7.188
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 50 60 48 93 0 58 831
normalized size 1 1.00 0.77 0.92 0.74 1.43 0.00 0.89 12.78
time (sec) N/A 0.049 0.159 0.678 0.321 0.749 0.000 1.441 12.397
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 86 550 0 0 0 0 -1
normalized size 1 1.00 0.80 5.14 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.133 0.873 0.536 0.000 0.716 0.000 0.000 0.000
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 98 537 0 0 0 0 -1
normalized size 1 1.00 1.24 6.80 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.094 0.760 0.522 0.000 0.835 0.000 0.000 0.000
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 60 523 0 0 0 0 -1
normalized size 1 1.00 1.28 11.13 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.057 0.127 0.434 0.000 0.705 0.000 0.000 0.000
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 69 482 0 0 0 0 -1
normalized size 1 1.00 0.96 6.69 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.097 0.319 0.552 0.000 0.671 0.000 0.000 0.000
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 104 972 0 0 0 0 -1
normalized size 1 1.00 1.02 9.53 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.134 0.683 0.618 0.000 0.548 0.000 0.000 0.000
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 257 257 123 550 225 1871 0 257 -1
normalized size 1 1.00 0.48 2.14 0.88 7.28 0.00 1.00 -0.00
time (sec) N/A 0.182 0.350 0.483 0.650 103.508 0.000 1.439 0.000
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 227 227 105 522 193 1856 0 228 -1
normalized size 1 1.00 0.46 2.30 0.85 8.18 0.00 1.00 -0.00
time (sec) N/A 0.158 0.254 0.463 0.839 104.131 0.000 1.022 0.000
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 38 23 58 0 26 381
normalized size 1 1.00 1.00 1.90 1.15 2.90 0.00 1.30 19.05
time (sec) N/A 0.043 0.123 0.504 0.352 0.501 0.000 1.228 6.447
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 42 50 35 84 0 45 684
normalized size 1 1.00 0.98 1.16 0.81 1.95 0.00 1.05 15.91
time (sec) N/A 0.050 0.093 0.576 0.446 0.487 0.000 1.926 8.149
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 54 60 48 109 0 58 987
normalized size 1 1.00 0.83 0.92 0.74 1.68 0.00 0.89 15.18
time (sec) N/A 0.054 0.130 0.660 0.448 0.506 0.000 2.556 16.413
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 102 222 0 0 0 0 -1
normalized size 1 1.00 0.91 1.98 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.133 0.379 0.492 0.000 0.453 0.000 0.000 0.000
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 126 196 0 0 0 0 -1
normalized size 1 1.00 1.59 2.48 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.094 0.769 0.418 0.000 0.491 0.000 0.000 0.000
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 110 302 0 0 0 0 -1
normalized size 1 1.00 1.34 3.68 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.104 0.733 0.493 0.000 0.436 0.000 0.000 0.000
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 136 558 0 0 0 0 -1
normalized size 1 1.00 1.21 4.98 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.146 1.709 0.587 0.000 0.446 0.000 0.000 0.000
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 257 257 123 688 219 1558 0 248 -1
normalized size 1 1.00 0.48 2.68 0.85 6.06 0.00 0.96 -0.00
time (sec) N/A 0.176 0.766 0.487 0.613 64.662 0.000 1.065 0.000
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 227 227 113 662 189 1545 0 220 -1
normalized size 1 1.00 0.50 2.92 0.83 6.81 0.00 0.97 -0.00
time (sec) N/A 0.162 0.550 0.434 0.650 66.160 0.000 2.007 0.000
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 38 23 63 0 26 530
normalized size 1 1.00 1.00 1.90 1.15 3.15 0.00 1.30 26.50
time (sec) N/A 0.043 0.165 0.528 0.479 0.486 0.000 2.864 7.397
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 50 50 35 91 0 45 831
normalized size 1 1.00 1.16 1.16 0.81 2.12 0.00 1.05 19.33
time (sec) N/A 0.050 0.183 0.591 0.527 0.834 0.000 2.351 12.140
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 60 60 48 114 0 58 1132
normalized size 1 1.00 0.92 0.92 0.74 1.75 0.00 0.89 17.42
time (sec) N/A 0.056 0.245 0.639 0.326 0.841 0.000 2.988 14.007
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 144 144 122 563 0 0 0 0 -1
normalized size 1 1.00 0.85 3.91 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.186 1.569 0.555 0.000 0.728 0.000 0.000 0.000
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 114 114 100 550 0 0 0 0 -1
normalized size 1 1.00 0.88 4.82 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.143 1.092 0.472 0.000 0.552 0.000 0.000 0.000
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 97 537 0 0 0 0 -1
normalized size 1 1.00 1.15 6.39 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.102 0.630 0.528 0.000 0.514 0.000 0.000 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 69 503 0 0 0 0 -1
normalized size 1 1.00 0.88 6.45 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.087 0.407 0.441 0.000 0.449 0.000 0.000 0.000
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 105 965 0 0 0 0 -1
normalized size 1 1.00 0.95 8.77 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.136 1.786 0.531 0.000 0.423 0.000 0.000 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 116 1455 0 0 0 0 -1
normalized size 1 1.00 0.83 10.39 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.184 0.839 0.614 0.000 0.460 0.000 0.000 0.000
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 51 493 0 65 0 0 80
normalized size 1 1.00 0.75 7.25 0.00 0.96 0.00 0.00 1.18
time (sec) N/A 0.090 0.195 0.636 0.000 0.434 0.000 0.000 4.330
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 80 131 0 0 0 0 -1
normalized size 1 1.00 0.91 1.49 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.106 0.318 0.522 0.000 0.456 0.000 0.000 0.000
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 30 295 0 47 0 0 60
normalized size 1 1.00 1.00 9.83 0.00 1.57 0.00 0.00 2.00
time (sec) N/A 0.042 0.128 0.548 0.000 0.549 0.000 0.000 2.898
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 60 88 0 0 0 0 -1
normalized size 1 1.00 1.20 1.76 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.053 0.118 0.427 0.000 0.571 0.000 0.000 0.000
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 72 185 0 413 0 0 -1
normalized size 1 1.00 0.67 1.73 0.00 3.86 0.00 0.00 -0.01
time (sec) N/A 0.088 0.262 0.506 0.000 0.798 0.000 0.000 0.000
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 79 178 0 0 0 0 -1
normalized size 1 1.00 0.92 2.07 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.103 0.247 0.507 0.000 0.440 0.000 0.000 0.000
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 126 126 99 338 0 0 0 0 -1
normalized size 1 1.00 0.79 2.68 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.169 0.334 0.536 0.000 0.470 0.000 0.000 0.000
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 45 492 0 57 0 0 69
normalized size 1 1.00 0.66 7.24 0.00 0.84 0.00 0.00 1.01
time (sec) N/A 0.105 0.168 0.498 0.000 0.423 0.000 0.000 3.731
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 83 326 0 0 0 0 -1
normalized size 1 1.00 0.99 3.88 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.101 0.205 0.521 0.000 0.447 0.000 0.000 0.000
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 30 30 30 308 0 45 0 0 39
normalized size 1 1.00 1.00 10.27 0.00 1.50 0.00 0.00 1.30
time (sec) N/A 0.049 0.065 0.533 0.000 0.737 0.000 0.000 3.066
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 92 316 0 0 0 0 -1
normalized size 1 1.00 1.02 3.51 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.111 0.268 0.468 0.000 1.310 0.000 0.000 0.000
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 104 247 0 524 0 0 -1
normalized size 1 1.00 0.72 1.70 0.00 3.61 0.00 0.00 -0.01
time (sec) N/A 0.150 0.364 0.507 0.000 1.289 0.000 0.000 0.000
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 123 123 100 349 0 0 0 0 -1
normalized size 1 1.00 0.81 2.84 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.162 0.525 0.584 0.000 0.802 0.000 0.000 0.000
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 52 60 0 71 0 0 88
normalized size 1 1.00 0.76 0.88 0.00 1.04 0.00 0.00 1.29
time (sec) N/A 0.102 0.164 0.500 0.000 0.665 0.000 0.000 4.823
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 87 337 0 0 0 0 -1
normalized size 1 1.00 0.99 3.83 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.105 0.238 0.560 0.000 0.690 0.000 0.000 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 48 0 53 0 0 69
normalized size 1 1.00 1.00 1.50 0.00 1.66 0.00 0.00 2.16
time (sec) N/A 0.049 0.138 0.466 0.000 0.616 0.000 0.000 3.634
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 69 327 0 0 0 0 -1
normalized size 1 1.00 1.38 6.54 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.051 0.153 0.532 0.000 0.647 0.000 0.000 0.000
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 80 177 0 419 0 0 -1
normalized size 1 1.00 0.75 1.67 0.00 3.95 0.00 0.00 -0.01
time (sec) N/A 0.083 0.146 0.512 0.000 1.237 0.000 0.000 0.000
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 89 315 0 0 0 0 -1
normalized size 1 1.00 1.02 3.62 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.105 0.346 0.551 0.000 0.699 0.000 0.000 0.000
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 146 146 112 319 0 605 0 0 -1
normalized size 1 1.00 0.77 2.18 0.00 4.14 0.00 0.00 -0.01
time (sec) N/A 0.142 0.628 0.575 0.000 0.987 0.000 0.000 0.000
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 146 146 67 70 0 84 0 0 296
normalized size 1 1.00 0.46 0.48 0.00 0.58 0.00 0.00 2.03
time (sec) N/A 0.207 0.430 0.486 0.000 0.491 0.000 0.000 8.601
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 109 109 57 60 0 71 0 0 94
normalized size 1 1.00 0.52 0.55 0.00 0.65 0.00 0.00 0.86
time (sec) N/A 0.151 0.221 0.465 0.000 0.592 0.000 0.000 5.480
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 45 48 0 55 0 0 81
normalized size 1 1.00 1.41 1.50 0.00 1.72 0.00 0.00 2.53
time (sec) N/A 0.055 0.136 0.448 0.000 0.635 0.000 0.000 4.012
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 88 237 0 529 0 0 -1
normalized size 1 1.00 0.62 1.68 0.00 3.75 0.00 0.00 -0.01
time (sec) N/A 0.143 0.339 0.542 0.000 1.121 0.000 0.000 0.000
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 151 151 103 320 0 608 0 0 -1
normalized size 1 1.00 0.68 2.12 0.00 4.03 0.00 0.00 -0.01
time (sec) N/A 0.155 0.346 0.514 0.000 0.969 0.000 0.000 0.000
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 118 181 0 0 0 0 -1
normalized size 1 1.00 0.71 1.08 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.227 0.767 0.581 0.000 0.459 0.000 0.000 0.000
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 130 130 97 161 0 0 0 0 -1
normalized size 1 1.00 0.75 1.24 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.167 0.369 0.521 0.000 0.486 0.000 0.000 0.000
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 80 137 0 0 0 0 -1
normalized size 1 1.00 0.86 1.47 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.112 0.227 0.477 0.000 0.459 0.000 0.000 0.000
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 79 185 0 0 0 0 -1
normalized size 1 1.00 0.92 2.15 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.104 0.191 0.562 0.000 0.512 0.000 0.000 0.000
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 130 130 96 337 0 0 0 0 -1
normalized size 1 1.00 0.74 2.59 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.169 0.369 0.532 0.000 0.527 0.000 0.000 0.000
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 106 487 0 0 0 0 -1
normalized size 1 1.00 0.63 2.92 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.233 0.405 0.600 0.000 0.473 0.000 0.000 0.000
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 69 0 0 0 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.095 0.398 0.710 0.000 0.544 0.000 0.000 0.000
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 69 0 0 0 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.089 0.351 0.507 0.000 0.552 0.000 0.000 0.000
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.082 0.330 0.562 0.000 0.432 0.000 0.000 0.000
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 67 0 0 0 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.097 0.324 0.489 0.000 0.555 0.000 0.000 0.000
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 63 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.099 0.541 0.413 0.000 0.491 0.000 0.000 0.000
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 63 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.094 0.432 0.401 0.000 0.618 0.000 0.000 0.000
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 63 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.096 0.459 0.392 0.000 0.445 0.000 0.000 0.000
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 69 0 0 0 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.094 0.488 0.393 0.000 0.528 0.000 0.000 0.000
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 65 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.093 0.428 0.423 0.000 0.677 0.000 0.000 0.000
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 66 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.087 0.350 0.559 0.000 0.602 0.000 0.000 0.000
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 66 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.083 0.338 0.627 0.000 0.590 0.000 0.000 0.000
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 64 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.096 0.412 0.518 0.000 0.659 0.000 0.000 0.000
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 85 0 0 0 0 0 -1
normalized size 1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.099 0.615 0.384 0.000 0.682 0.000 0.000 0.000
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 72 0 0 0 0 0 -1
normalized size 1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.092 0.502 0.433 0.000 0.613 0.000 0.000 0.000
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 67 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.094 0.753 0.363 0.000 0.477 0.000 0.000 0.000
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 70 0 0 0 0 0 -1
normalized size 1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.093 0.386 0.385 0.000 0.531 0.000 0.000 0.000
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 53 0 0 0 0 0 -1
normalized size 1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.049 0.062 0.520 0.000 0.445 0.000 0.000 0.000
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 53 0 0 0 0 0 -1
normalized size 1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.035 0.035 1.000 0.000 0.625 0.000 0.000 0.000
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 18 18 17 0 18 17
normalized size 1 1.00 1.00 1.06 1.06 1.00 0.00 1.06 1.00
time (sec) N/A 0.029 0.010 0.065 0.515 0.699 0.000 0.325 2.454
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 37 3161 47 57 0 0 91
normalized size 1 1.00 0.80 68.72 1.02 1.24 0.00 0.00 1.98
time (sec) N/A 0.050 0.059 1.658 0.562 0.444 0.000 0.000 3.312
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 62 7964 71 112 0 0 219
normalized size 1 1.00 0.86 110.61 0.99 1.56 0.00 0.00 3.04
time (sec) N/A 0.061 0.332 1.270 0.629 0.443 0.000 0.000 7.573
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 71 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.090 0.139 0.409 0.000 0.493 0.000 0.000 0.000
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 71 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.089 0.086 0.366 0.000 0.460 0.000 0.000 0.000
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 66 0 0 0 0 0 -1
normalized size 1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.092 0.081 0.406 0.000 0.437 0.000 0.000 0.000
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 71 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.088 0.071 0.412 0.000 0.463 0.000 0.000 0.000
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0 -1
normalized size 1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.116 8.139 0.443 0.000 0.449 0.000 0.000 0.000
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0 -1
normalized size 1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.104 3.242 0.469 0.000 0.428 0.000 0.000 0.000
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0 -1
normalized size 1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.103 3.025 0.438 0.000 0.463 0.000 0.000 0.000
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 225 0 0 0 0 0 -1
normalized size 1 1.00 2.85 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.120 5.163 0.406 0.000 0.468 0.000 0.000 0.000
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 83 83 260 0 0 0 0 0 -1
normalized size 1 1.00 3.13 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.103 1.959 1.449 0.000 0.505 0.000 0.000 0.000
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 50 50 916 0 0 0 0 0 -1
normalized size 1 1.00 18.32 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.057 4.715 1.987 0.000 0.447 0.000 0.000 0.000
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 50 50 450 0 0 0 0 0 -1
normalized size 1 1.00 9.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.053 2.109 1.713 0.000 0.446 0.000 0.000 0.000
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 25 25 22 4284 28 42 0 0 53
normalized size 1 1.00 0.88 171.36 1.12 1.68 0.00 0.00 2.12
time (sec) N/A 0.042 0.073 3.656 0.425 0.440 0.000 0.000 2.615
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 46 13019 55 86 0 0 138
normalized size 1 1.00 0.87 245.64 1.04 1.62 0.00 0.00 2.60
time (sec) N/A 0.055 0.158 1.475 0.668 0.456 0.000 0.000 3.736
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 69 26124 81 144 0 0 -1
normalized size 1 1.00 0.86 326.55 1.01 1.80 0.00 0.00 -0.01
time (sec) N/A 0.063 0.261 2.009 0.586 0.458 0.000 0.000 0.000
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 78 78 456 0 0 0 0 0 -1
normalized size 1 1.00 5.85 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.084 2.830 1.707 0.000 0.446 0.000 0.000 0.000
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 76 76 252 0 0 0 0 0 -1
normalized size 1 1.00 3.32 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.070 1.090 1.262 0.000 0.449 0.000 0.000 0.000
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 78 78 64 0 0 0 0 0 -1
normalized size 1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.078 0.211 0.698 0.000 0.436 0.000 0.000 0.000
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 78 78 1242 0 0 0 0 0 -1
normalized size 1 1.00 15.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.082 15.523 0.789 0.000 0.441 0.000 0.000 0.000
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 78 78 1516 0 0 0 0 0 -1
normalized size 1 1.00 19.44 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.083 17.755 0.812 0.000 0.473 0.000 0.000 0.000
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 89 89 297 0 0 0 0 0 -1
normalized size 1 1.00 3.34 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.121 2.564 0.481 0.000 0.457 0.000 0.000 0.000
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 91 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.107 1.617 0.467 0.000 0.591 0.000 0.000 0.000
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 89 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.107 1.308 0.427 0.000 0.871 0.000 0.000 0.000
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 90 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.125 1.956 0.401 0.000 0.681 0.000 0.000 0.000
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 81 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.095 0.583 1.474 0.000 0.554 0.000 0.000 0.000
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 66 0 0 0 0 0 -1
normalized size 1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.036 0.072 0.806 0.000 0.504 0.000 0.000 0.000
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 232 232 45 728 207 606 0 0 97
normalized size 1 1.00 0.19 3.14 0.89 2.61 0.00 0.00 0.42
time (sec) N/A 0.227 0.078 0.754 0.458 0.580 0.000 0.000 2.583
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 214 214 45 548 190 568 0 0 83
normalized size 1 1.00 0.21 2.56 0.89 2.65 0.00 0.00 0.39
time (sec) N/A 0.182 0.045 0.676 0.630 0.498 0.000 0.000 2.472
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 36 660 189 585 0 0 80
normalized size 1 1.00 0.17 3.14 0.90 2.79 0.00 0.00 0.38
time (sec) N/A 0.179 0.052 0.624 0.812 0.582 0.000 0.000 2.476
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 132 292 167 487 0 0 61
normalized size 1 1.00 0.69 1.52 0.87 2.54 0.00 0.00 0.32
time (sec) N/A 0.138 0.186 0.506 0.749 0.594 0.000 0.000 0.213
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 40 160 165 0 0 0 50
normalized size 1 1.00 0.21 0.83 0.86 0.00 0.00 0.00 0.26
time (sec) N/A 0.117 0.042 0.137 0.527 0.000 0.000 0.000 2.552
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 209 209 162 172 178 0 0 0 74
normalized size 1 1.00 0.78 0.82 0.85 0.00 0.00 0.00 0.35
time (sec) N/A 0.165 0.253 0.117 0.806 0.000 0.000 0.000 2.570
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 214 214 42 178 187 0 0 0 76
normalized size 1 1.00 0.20 0.83 0.87 0.00 0.00 0.00 0.36
time (sec) N/A 0.162 0.049 0.185 0.940 0.000 0.000 0.000 2.597
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 231 231 172 190 199 0 0 0 90
normalized size 1 1.00 0.74 0.82 0.86 0.00 0.00 0.00 0.39
time (sec) N/A 0.198 0.452 0.184 0.562 0.000 0.000 0.000 2.874
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 45 728 207 617 0 0 97
normalized size 1 1.00 0.19 3.11 0.88 2.64 0.00 0.00 0.41
time (sec) N/A 0.214 0.066 0.684 0.546 0.617 0.000 0.000 2.579
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 214 214 45 548 190 587 0 0 83
normalized size 1 1.00 0.21 2.56 0.89 2.74 0.00 0.00 0.39
time (sec) N/A 0.179 0.047 0.671 0.592 0.654 0.000 0.000 2.518
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 38 660 189 594 0 0 82
normalized size 1 1.00 0.18 3.11 0.89 2.80 0.00 0.00 0.39
time (sec) N/A 0.174 0.049 0.630 0.491 0.537 0.000 0.000 2.488
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 134 292 167 502 0 0 61
normalized size 1 1.00 0.70 1.52 0.87 2.61 0.00 0.00 0.32
time (sec) N/A 0.147 0.026 0.588 0.570 0.501 0.000 0.000 2.499
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 37 324 167 525 0 0 54
normalized size 1 1.00 0.19 1.69 0.87 2.73 0.00 0.00 0.28
time (sec) N/A 0.138 0.010 0.508 0.914 0.625 0.000 0.000 2.528
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 159 176 179 0 0 0 75
normalized size 1 1.00 0.76 0.84 0.85 0.00 0.00 0.00 0.36
time (sec) N/A 0.144 0.191 0.110 0.519 0.000 0.000 0.000 2.653
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 211 211 39 181 184 0 0 0 73
normalized size 1 1.00 0.18 0.86 0.87 0.00 0.00 0.00 0.35
time (sec) N/A 0.157 0.059 0.101 0.505 0.000 0.000 0.000 2.634
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 232 232 172 194 199 0 0 0 91
normalized size 1 1.00 0.74 0.84 0.86 0.00 0.00 0.00 0.39
time (sec) N/A 0.196 0.270 0.157 0.514 0.000 0.000 0.000 2.938
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 231 231 40 728 207 595 0 0 97
normalized size 1 1.00 0.17 3.15 0.90 2.58 0.00 0.00 0.42
time (sec) N/A 0.207 0.112 0.699 0.483 0.552 0.000 0.000 2.572
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 38 548 190 579 0 0 81
normalized size 1 1.00 0.18 2.58 0.90 2.73 0.00 0.00 0.38
time (sec) N/A 0.171 0.093 0.644 0.771 0.532 0.000 0.000 2.514
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 209 209 35 652 189 574 0 0 79
normalized size 1 1.00 0.17 3.12 0.90 2.75 0.00 0.00 0.38
time (sec) N/A 0.164 0.068 0.633 0.913 0.558 0.000 0.000 0.194
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 131 166 165 0 0 0 57
normalized size 1 1.00 0.68 0.86 0.86 0.00 0.00 0.00 0.30
time (sec) N/A 0.111 0.015 0.124 0.432 0.000 0.000 0.000 2.650
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 40 157 164 0 0 0 58
normalized size 1 1.00 0.21 0.82 0.85 0.00 0.00 0.00 0.30
time (sec) N/A 0.130 0.041 0.127 0.668 0.000 0.000 0.000 2.505
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 159 184 181 0 0 0 77
normalized size 1 1.00 0.75 0.87 0.85 0.00 0.00 0.00 0.36
time (sec) N/A 0.163 0.169 0.181 0.657 0.000 0.000 0.000 2.657
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 214 214 47 175 187 0 0 0 76
normalized size 1 1.00 0.22 0.82 0.87 0.00 0.00 0.00 0.36
time (sec) N/A 0.160 0.064 0.186 0.812 0.000 0.000 0.000 2.667
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 232 232 38 728 207 607 0 0 93
normalized size 1 1.00 0.16 3.14 0.89 2.62 0.00 0.00 0.40
time (sec) N/A 0.209 0.168 0.642 0.652 0.562 0.000 0.000 2.582
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 211 211 37 540 190 603 0 0 80
normalized size 1 1.00 0.18 2.56 0.90 2.86 0.00 0.00 0.38
time (sec) N/A 0.174 0.078 0.587 0.738 0.573 0.000 0.000 0.199
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 38 184 187 0 0 0 76
normalized size 1 1.00 0.18 0.87 0.88 0.00 0.00 0.00 0.36
time (sec) N/A 0.142 0.006 0.109 0.698 0.000 0.000 0.000 2.605
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 134 166 164 0 0 0 57
normalized size 1 1.00 0.70 0.86 0.85 0.00 0.00 0.00 0.30
time (sec) N/A 0.132 0.031 0.102 0.483 0.000 0.000 0.000 2.582
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 40 166 167 0 0 0 58
normalized size 1 1.00 0.21 0.86 0.87 0.00 0.00 0.00 0.30
time (sec) N/A 0.132 0.010 0.152 0.796 0.000 0.000 0.000 2.478
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F(-2) F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 159 184 181 0 0 0 77
normalized size 1 1.00 0.75 0.87 0.85 0.00 0.00 0.00 0.36
time (sec) N/A 0.162 0.156 0.160 0.694 0.000 0.000 0.000 2.618
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 214 214 47 184 187 0 0 0 76
normalized size 1 1.00 0.22 0.86 0.87 0.00 0.00 0.00 0.36
time (sec) N/A 0.161 0.089 0.145 0.626 0.000 0.000 0.000 2.647
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A F(-2) F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 234 234 172 202 199 0 0 0 93
normalized size 1 1.00 0.74 0.86 0.85 0.00 0.00 0.00 0.40
time (sec) N/A 0.188 0.437 0.150 0.915 0.000 0.000 0.000 2.978
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 62 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.058 0.094 0.908 0.000 0.509 0.000 0.000 0.000
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 64 0 0 0 0 0 -1
normalized size 1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.067 0.067 0.728 0.000 0.503 0.000 0.000 0.000
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.059 0.063 0.856 0.000 0.413 0.000 0.000 0.000
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 67 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.069 0.095 0.737 0.000 0.558 0.000 0.000 0.000
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 52 60 51 59 0 82 334
normalized size 1 1.00 0.78 0.90 0.76 0.88 0.00 1.22 4.99
time (sec) N/A 0.054 0.195 0.727 0.320 0.637 0.000 0.650 7.242
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 34 50 36 49 0 57 218
normalized size 1 1.00 0.76 1.11 0.80 1.09 0.00 1.27 4.84
time (sec) N/A 0.045 0.147 0.611 0.328 0.628 0.000 0.623 6.091
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 19 18 37 0 23 53
normalized size 1 1.00 1.00 0.86 0.82 1.68 0.00 1.05 2.41
time (sec) N/A 0.037 0.037 0.153 0.461 0.423 0.000 0.492 2.567
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 40 160 153 519 0 182 49
normalized size 1 1.00 0.21 0.83 0.80 2.70 0.00 0.95 0.26
time (sec) N/A 0.111 0.039 0.084 0.856 0.589 0.000 0.417 2.499
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 227 227 102 522 193 1897 0 227 -1
normalized size 1 1.00 0.45 2.30 0.85 8.36 0.00 1.00 -0.00
time (sec) N/A 0.170 0.193 0.555 0.753 110.913 0.000 0.559 0.000
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 102 559 0 0 0 0 -1
normalized size 1 1.00 0.95 5.22 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.129 0.443 0.566 0.000 0.730 0.000 0.000 0.000
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 61 513 0 0 0 0 -1
normalized size 1 1.00 0.81 6.84 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.090 0.277 0.472 0.000 0.720 0.000 0.000 0.000
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 57 523 0 0 0 0 -1
normalized size 1 1.00 1.21 11.13 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.065 0.099 0.502 0.000 0.771 0.000 0.000 0.000
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 94 537 0 0 0 0 -1
normalized size 1 1.00 1.16 6.63 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.102 0.457 0.575 0.000 0.819 0.000 0.000 0.000
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 111 111 86 550 0 0 0 0 -1
normalized size 1 1.00 0.77 4.95 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.139 0.777 0.533 0.000 0.746 0.000 0.000 0.000
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 52 60 51 68 0 78 392
normalized size 1 1.00 0.78 0.90 0.76 1.01 0.00 1.16 5.85
time (sec) N/A 0.058 0.144 0.674 0.430 0.748 0.000 0.667 9.188
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 42 50 36 56 0 55 276
normalized size 1 1.00 0.93 1.11 0.80 1.24 0.00 1.22 6.13
time (sec) N/A 0.053 0.136 0.725 0.322 0.781 0.000 0.538 6.945
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 19 18 45 0 24 100
normalized size 1 1.00 1.00 0.86 0.82 2.05 0.00 1.09 4.55
time (sec) N/A 0.043 0.058 0.106 0.695 0.811 0.000 0.575 3.568
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 210 210 159 176 170 533 0 0 73
normalized size 1 1.00 0.76 0.84 0.81 2.54 0.00 0.00 0.35
time (sec) N/A 0.142 0.267 0.087 0.842 0.832 0.000 0.000 2.654
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 225 225 110 670 188 1558 0 210 -1
normalized size 1 1.00 0.49 2.98 0.84 6.92 0.00 0.93 -0.00
time (sec) N/A 0.163 0.277 0.470 0.614 83.683 0.000 0.590 0.000
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 136 136 90 251 0 0 0 0 -1
normalized size 1 1.00 0.66 1.85 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.183 0.824 0.589 0.000 0.509 0.000 0.000 0.000
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 80 225 0 0 0 0 -1
normalized size 1 1.00 0.74 2.08 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.145 0.475 0.606 0.000 0.654 0.000 0.000 0.000
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 69 188 0 0 0 0 -1
normalized size 1 1.00 0.86 2.35 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.085 0.314 0.416 0.000 0.522 0.000 0.000 0.000
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 58 196 0 0 0 0 -1
normalized size 1 1.00 0.74 2.51 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.095 0.145 0.470 0.000 0.688 0.000 0.000 0.000
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 96 222 0 0 0 0 -1
normalized size 1 1.00 0.89 2.06 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.134 1.127 0.504 0.000 0.441 0.000 0.000 0.000
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 136 136 131 250 0 0 0 0 -1
normalized size 1 1.00 0.96 1.84 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.174 2.469 0.506 0.000 0.708 0.000 0.000 0.000
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 52 60 51 82 0 84 474
normalized size 1 1.00 0.78 0.90 0.76 1.22 0.00 1.25 7.07
time (sec) N/A 0.058 0.444 0.678 0.655 0.646 0.000 0.844 13.292
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 42 50 36 69 0 59 352
normalized size 1 1.00 0.93 1.11 0.80 1.53 0.00 1.31 7.82
time (sec) N/A 0.050 0.273 0.584 0.329 0.596 0.000 0.721 7.224
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 22 22 22 19 18 55 0 28 230
normalized size 1 1.00 1.00 0.86 0.82 2.50 0.00 1.27 10.45
time (sec) N/A 0.043 0.064 0.121 0.325 0.475 0.000 0.743 5.584
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 40 182 176 594 0 218 74
normalized size 1 1.00 0.19 0.86 0.83 2.80 0.00 1.03 0.35
time (sec) N/A 0.142 0.044 0.069 0.587 0.497 0.000 0.550 2.735
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 225 225 107 532 194 1918 0 240 -1
normalized size 1 1.00 0.48 2.36 0.86 8.52 0.00 1.07 -0.00
time (sec) N/A 0.163 0.194 0.546 0.731 110.715 0.000 1.387 0.000
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 253 253 125 558 225 1934 0 268 -1
normalized size 1 1.00 0.49 2.21 0.89 7.64 0.00 1.06 -0.00
time (sec) N/A 0.180 0.197 0.483 0.796 123.538 0.000 0.646 0.000
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 109 109 79 224 0 0 0 0 -1
normalized size 1 1.00 0.72 2.06 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.137 0.544 0.706 0.000 0.509 0.000 0.000 0.000
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 68 196 0 0 0 0 -1
normalized size 1 1.00 0.86 2.48 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.096 0.269 0.628 0.000 0.558 0.000 0.000 0.000
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 77 167 0 0 0 0 -1
normalized size 1 1.00 1.64 3.55 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.059 0.129 0.444 0.000 0.414 0.000 0.000 0.000
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 126 199 0 0 0 0 -1
normalized size 1 1.00 1.66 2.62 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.093 0.553 0.489 0.000 0.500 0.000 0.000 0.000
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 109 109 94 226 0 0 0 0 -1
normalized size 1 1.00 0.86 2.07 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.127 1.008 0.577 0.000 0.568 0.000 0.000 0.000
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 45 60 54 64 0 80 268
normalized size 1 1.00 0.69 0.92 0.83 0.98 0.00 1.23 4.12
time (sec) N/A 0.060 0.206 0.679 0.439 0.555 0.000 2.817 6.878
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 32 50 36 54 0 44 64
normalized size 1 1.00 0.74 1.16 0.84 1.26 0.00 1.02 1.49
time (sec) N/A 0.052 0.102 0.600 0.716 0.534 0.000 2.216 2.971
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 20 20 20 19 18 40 0 18 51
normalized size 1 1.00 1.00 0.95 0.90 2.00 0.00 0.90 2.55
time (sec) N/A 0.043 0.061 0.114 0.410 0.568 0.000 1.174 2.573
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 38 184 167 652 0 0 76
normalized size 1 1.00 0.18 0.87 0.79 3.08 0.00 0.00 0.36
time (sec) N/A 0.142 0.039 0.090 0.516 0.534 0.000 0.000 2.685
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A B F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 249 249 115 982 204 2037 0 252 -1
normalized size 1 1.00 0.46 3.94 0.82 8.18 0.00 1.01 -0.00
time (sec) N/A 0.183 0.292 0.511 0.728 109.447 0.000 0.931 0.000
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 104 537 0 0 0 0 -1
normalized size 1 1.00 0.75 3.89 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.174 0.898 0.662 0.000 0.604 0.000 0.000 0.000
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 93 499 0 0 0 0 -1
normalized size 1 1.00 0.89 4.80 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.134 0.475 0.643 0.000 0.492 0.000 0.000 0.000
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 69 496 0 0 0 0 -1
normalized size 1 1.00 0.88 6.36 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.092 0.395 0.447 0.000 0.667 0.000 0.000 0.000
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 66 509 0 0 0 0 -1
normalized size 1 1.00 0.85 6.53 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.098 0.412 0.514 0.000 0.583 0.000 0.000 0.000
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 77 523 0 0 0 0 -1
normalized size 1 1.00 0.69 4.67 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.149 0.568 0.518 0.000 0.762 0.000 0.000 0.000
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 142 142 89 536 0 0 0 0 -1
normalized size 1 1.00 0.63 3.77 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.187 0.852 0.543 0.000 0.629 0.000 0.000 0.000
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 113 306 0 0 0 0 -1
normalized size 1 1.00 1.38 3.73 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.087 0.687 0.439 0.000 0.639 0.000 0.000 0.000
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 103 986 0 0 0 0 -1
normalized size 1 1.00 0.94 8.96 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.137 1.540 0.615 0.000 0.524 0.000 0.000 0.000
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 77 0 0 0 0 0 -1
normalized size 1 1.00 1.45 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.059 0.219 0.253 0.000 0.452 0.000 0.000 0.000
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 56 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.059 0.086 0.247 0.000 0.608 0.000 0.000 0.000
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 56 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.058 0.089 0.241 0.000 0.481 0.000 0.000 0.000
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 56 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.058 0.084 0.213 0.000 0.583 0.000 0.000 0.000
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 54 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.058 0.075 0.222 0.000 0.612 0.000 0.000 0.000
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 89 0 0 0 0 0 -1
normalized size 1 1.00 1.68 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.059 1.109 0.317 0.000 0.591 0.000 0.000 0.000
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 78 0 0 0 0 0 -1
normalized size 1 1.00 1.47 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.058 0.865 0.316 0.000 0.567 0.000 0.000 0.000
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 77 0 0 0 0 0 -1
normalized size 1 1.00 1.45 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.057 0.753 0.307 0.000 0.647 0.000 0.000 0.000
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 78 0 0 0 0 0 -1
normalized size 1 1.00 1.47 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.060 0.197 0.267 0.000 0.613 0.000 0.000 0.000
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 77 0 0 0 0 0 -1
normalized size 1 1.00 1.45 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.059 0.254 0.279 0.000 0.643 0.000 0.000 0.000
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 80 0 0 0 0 0 -1
normalized size 1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.043 0.292 0.240 0.000 0.550 0.000 0.000 0.000
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 80 0 0 0 0 0 -1
normalized size 1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.042 0.307 0.227 0.000 0.650 0.000 0.000 0.000
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 80 0 0 0 0 0 -1
normalized size 1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.036 0.281 0.230 0.000 0.595 0.000 0.000 0.000
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 80 0 0 0 0 0 -1
normalized size 1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.043 0.215 0.206 0.000 0.706 0.000 0.000 0.000
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 79 0 0 0 0 0 -1
normalized size 1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.044 0.195 0.214 0.000 0.599 0.000 0.000 0.000
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F(-1) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 92 0 0 0 0 0 -1
normalized size 1 1.00 1.61 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.042 1.115 0.307 0.000 0.564 0.000 0.000 0.000
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 69 0 0 0 0 0 -1
normalized size 1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.043 0.162 0.307 0.000 0.621 0.000 0.000 0.000
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 69 0 0 0 0 0 -1
normalized size 1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 0.153 0.289 0.000 0.542 0.000 0.000 0.000
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 69 0 0 0 0 0 -1
normalized size 1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.039 0.149 0.263 0.000 0.589 0.000 0.000 0.000
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 67 0 0 0 0 0 -1
normalized size 1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.045 0.141 0.270 0.000 0.694 0.000 0.000 0.000
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 178 178 174 600 0 788 0 0 -1
normalized size 1 1.00 0.98 3.37 0.00 4.43 0.00 0.00 -0.01
time (sec) N/A 0.162 1.922 0.921 0.000 0.869 0.000 0.000 0.000
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 93 93 71 572 0 0 0 0 -1
normalized size 1 1.00 0.76 6.15 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.112 1.003 0.901 0.000 0.461 0.000 0.000 0.000
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 136 302 0 654 0 0 -1
normalized size 1 1.00 1.03 2.29 0.00 4.95 0.00 0.00 -0.01
time (sec) N/A 0.098 0.734 0.666 0.000 0.801 0.000 0.000 0.000
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 62 551 0 0 0 0 -1
normalized size 1 1.00 1.13 10.02 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.061 0.518 0.696 0.000 0.508 0.000 0.000 0.000
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 34 50 0 50 53 0 55
normalized size 1 1.00 1.00 1.47 0.00 1.47 1.56 0.00 1.62
time (sec) N/A 0.051 0.123 0.668 0.000 0.546 26.005 0.000 3.483
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 79 571 0 0 0 0 -1
normalized size 1 1.00 0.83 6.01 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.114 0.683 0.782 0.000 0.525 0.000 0.000 0.000
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 53 62 0 63 0 0 69
normalized size 1 1.00 0.74 0.86 0.00 0.88 0.00 0.00 0.96
time (sec) N/A 0.103 0.168 0.683 0.000 0.615 0.000 0.000 3.355
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 92 585 0 0 0 0 -1
normalized size 1 1.00 0.70 4.43 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.168 0.966 0.714 0.000 0.519 0.000 0.000 0.000
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 95 239 0 0 0 0 -1
normalized size 1 1.00 0.73 1.82 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.176 0.780 0.730 0.000 0.593 0.000 0.000 0.000
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 129 759 0 769 0 0 -1
normalized size 1 1.00 0.76 4.49 0.00 4.55 0.00 0.00 -0.01
time (sec) N/A 0.174 6.363 0.583 0.000 0.818 0.000 0.000 0.000
Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 105 211 0 0 0 0 -1
normalized size 1 1.00 1.19 2.40 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.115 0.760 0.685 0.000 0.527 0.000 0.000 0.000
Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 64 719 0 741 0 0 -1
normalized size 1 1.00 0.38 4.31 0.00 4.44 0.00 0.00 -0.01
time (sec) N/A 0.125 4.289 0.680 0.000 1.072 0.000 0.000 0.000
Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 98 207 0 0 0 0 -1
normalized size 1 1.00 1.02 2.16 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.121 0.590 0.670 0.000 0.564 0.000 0.000 0.000
Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A F B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 141 50 0 58 0 0 65
normalized size 1 1.00 4.15 1.47 0.00 1.71 0.00 0.00 1.91
time (sec) N/A 0.057 1.374 0.595 0.000 0.529 0.000 0.000 3.159
Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 105 241 0 0 0 0 -1
normalized size 1 1.00 0.80 1.84 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.180 1.302 0.728 0.000 0.620 0.000 0.000 0.000
Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 158 62 0 70 0 0 78
normalized size 1 1.00 1.53 0.60 0.00 0.68 0.00 0.00 0.76
time (sec) N/A 0.163 3.355 0.586 0.000 0.595 0.000 0.000 3.519
Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F B F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 208 208 189 628 0 852 0 0 -1
normalized size 1 1.00 0.91 3.02 0.00 4.10 0.00 0.00 -0.00
time (sec) N/A 0.228 3.151 0.637 0.000 0.898 0.000 0.000 0.000
Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 93 593 0 0 0 0 -1
normalized size 1 1.00 0.71 4.53 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.173 2.352 0.590 0.000 0.545 0.000 0.000 0.000
Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F B F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 182 602 0 788 0 0 -1
normalized size 1 1.00 1.08 3.56 0.00 4.66 0.00 0.00 -0.01
time (sec) N/A 0.153 1.751 0.640 0.000 0.738 0.000 0.000 0.000
Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 74 585 0 0 0 0 -1
normalized size 1 1.00 0.84 6.65 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.113 0.744 0.715 0.000 0.584 0.000 0.000 0.000
Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 181 570 0 766 0 0 -1
normalized size 1 1.00 1.08 3.39 0.00 4.56 0.00 0.00 -0.01
time (sec) N/A 0.165 1.105 0.695 0.000 1.130 0.000 0.000 0.000
Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 81 565 0 0 0 0 -1
normalized size 1 1.00 0.84 5.89 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.120 0.767 0.712 0.000 0.670 0.000 0.000 0.000
Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 45 50 0 68 0 0 72
normalized size 1 1.00 1.32 1.47 0.00 2.00 0.00 0.00 2.12
time (sec) N/A 0.055 0.164 0.562 0.000 0.745 0.000 0.000 3.213
Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 99 586 0 0 0 0 -1
normalized size 1 1.00 0.76 4.47 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.177 0.985 0.646 0.000 0.583 0.000 0.000 0.000
Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 178 178 136 758 0 782 0 0 -1
normalized size 1 1.00 0.76 4.26 0.00 4.39 0.00 0.00 -0.01
time (sec) N/A 0.168 6.508 0.649 0.000 0.805 0.000 0.000 0.000
Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 83 208 0 0 0 0 -1
normalized size 1 1.00 0.90 2.26 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.113 2.365 0.641 0.000 0.615 0.000 0.000 0.000
Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 105 344 0 653 0 0 -1
normalized size 1 1.00 0.80 2.63 0.00 4.98 0.00 0.00 -0.01
time (sec) N/A 0.106 4.420 0.628 0.000 1.225 0.000 0.000 0.000
Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 89 175 0 0 0 0 -1
normalized size 1 1.00 1.62 3.18 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.061 0.464 0.632 0.000 0.732 0.000 0.000 0.000
Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 50 0 47 51 0 52
normalized size 1 1.00 1.00 1.56 0.00 1.47 1.59 0.00 1.62
time (sec) N/A 0.045 0.399 0.592 0.000 0.593 18.996 0.000 2.904
Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 91 213 0 0 0 0 -1
normalized size 1 1.00 0.96 2.24 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.115 1.013 0.644 0.000 0.619 0.000 0.000 0.000
Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 112 60 0 58 0 0 64
normalized size 1 1.00 1.56 0.83 0.00 0.81 0.00 0.00 0.89
time (sec) N/A 0.097 1.176 0.592 0.000 0.505 0.000 0.000 3.022
Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 171 171 211 1061 0 794 0 0 -1
normalized size 1 1.00 1.23 6.20 0.00 4.64 0.00 0.00 -0.01
time (sec) N/A 0.167 1.095 0.615 0.000 0.994 0.000 0.000 0.000
Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 70 535 0 0 0 0 -1
normalized size 1 1.00 0.72 5.52 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.123 0.633 0.586 0.000 0.760 0.000 0.000 0.000
Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 32 50 0 52 53 0 46
normalized size 1 1.00 1.00 1.56 0.00 1.62 1.66 0.00 1.44
time (sec) N/A 0.050 0.117 0.546 0.000 0.603 11.008 0.000 2.950
Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 67 556 0 0 0 0 -1
normalized size 1 1.00 0.74 6.11 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.116 0.555 0.636 0.000 0.574 0.000 0.000 0.000
Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 67 52 60 0 66 0 0 60
normalized size 1 0.93 0.72 0.83 0.00 0.92 0.00 0.00 0.83
time (sec) N/A 0.108 0.178 0.533 0.000 0.583 0.000 0.000 3.196
Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 130 130 81 570 0 0 0 0 -1
normalized size 1 1.00 0.62 4.38 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.186 0.658 0.635 0.000 0.634 0.000 0.000 0.000
Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 172 172 144 1367 0 850 0 0 -1
normalized size 1 1.00 0.84 7.95 0.00 4.94 0.00 0.00 -0.01
time (sec) N/A 0.180 1.215 0.657 0.000 0.994 0.000 0.000 0.000
Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 116 314 0 0 0 0 -1
normalized size 1 1.00 1.15 3.11 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.126 0.440 0.589 0.000 0.572 0.000 0.000 0.000
Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F B F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 34 50 0 61 0 0 55
normalized size 1 1.00 1.00 1.47 0.00 1.79 0.00 0.00 1.62
time (sec) N/A 0.057 0.146 0.493 0.000 0.531 0.000 0.000 3.174
Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 70 322 0 0 0 0 -1
normalized size 1 1.00 0.74 3.39 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.114 0.723 0.625 0.000 0.509 0.000 0.000 0.000
Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 110 62 0 75 0 0 81
normalized size 1 1.00 1.59 0.90 0.00 1.09 0.00 0.00 1.17
time (sec) N/A 0.101 0.846 0.575 0.000 0.421 0.000 0.000 3.563
Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 112 336 0 0 0 0 -1
normalized size 1 1.00 0.85 2.55 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.184 2.388 0.625 0.000 0.546 0.000 0.000 0.000
Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 106 106 159 72 0 89 0 0 93
normalized size 1 1.00 1.50 0.68 0.00 0.84 0.00 0.00 0.88
time (sec) N/A 0.166 3.122 0.557 0.000 0.681 0.000 0.000 4.348
Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.053 0.100 0.584 0.000 0.703 0.000 0.000 0.000
Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 62 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.045 0.081 0.690 0.000 0.638 0.000 0.000 0.000
Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 62 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.048 0.096 0.634 0.000 0.654 0.000 0.000 0.000
Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.054 0.120 0.622 0.000 0.646 0.000 0.000 0.000
Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.058 0.154 0.498 0.000 0.667 0.000 0.000 0.000
Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 62 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.051 0.138 0.513 0.000 0.700 0.000 0.000 0.000
Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 69 0 0 0 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.052 0.075 0.506 0.000 0.595 0.000 0.000 0.000
Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 71 0 0 0 0 0 -1
normalized size 1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.060 0.080 0.605 0.000 0.635 0.000 0.000 0.000
Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 62 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.050 0.144 0.533 0.000 0.582 0.000 0.000 0.000
Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 62 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.043 0.086 0.692 0.000 0.495 0.000 0.000 0.000
Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 62 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.047 0.118 0.582 0.000 0.578 0.000 0.000 0.000
Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 62 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.053 0.233 0.458 0.000 0.821 0.000 0.000 0.000
Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.058 0.145 0.499 0.000 0.452 0.000 0.000 0.000
Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.051 0.088 0.464 0.000 0.585 0.000 0.000 0.000
Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 64 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.055 0.107 0.404 0.000 0.617 0.000 0.000 0.000
Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 62 62 64 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.059 0.211 0.413 0.000 0.556 0.000 0.000 0.000
Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 47 6797 77 80 0 0 199
normalized size 1 1.00 0.70 101.45 1.15 1.19 0.00 0.00 2.97
time (sec) N/A 0.062 0.377 1.067 0.804 0.582 0.000 0.000 7.808
Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 34 2707 51 50 0 0 87
normalized size 1 1.00 0.79 62.95 1.19 1.16 0.00 0.00 2.02
time (sec) N/A 0.049 0.116 0.536 0.891 0.622 0.000 0.000 3.390
Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 18 20 19 44 0 19
normalized size 1 1.00 1.00 1.06 1.18 1.12 2.59 0.00 1.12
time (sec) N/A 0.021 0.023 0.058 0.439 0.615 0.421 0.000 0.118
Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 124 0 0 0 0 0 -1
normalized size 1 1.00 3.10 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.042 0.823 1.111 0.000 0.540 0.000 0.000 0.000
Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 39 39 815 0 0 0 0 0 -1
normalized size 1 1.00 20.90 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.044 12.234 0.765 0.000 0.547 0.000 0.000 0.000
Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 40 40 2138 0 0 0 0 0 -1
normalized size 1 1.00 53.45 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.044 21.628 0.431 0.000 0.622 0.000 0.000 0.000
Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 110 0 0 0 0 0 -1
normalized size 1 1.00 1.75 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.040 0.255 0.377 0.000 0.468 0.000 0.000 0.000
Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 63 63 6612 0 0 0 0 0 -1
normalized size 1 1.00 104.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.038 25.158 0.556 0.000 0.446 0.000 0.000 0.000
Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 59 59 4872 0 0 0 0 0 -1
normalized size 1 1.00 82.58 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 21.387 0.610 0.000 0.531 0.000 0.000 0.000
Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 63 63 6532 0 0 0 0 0 -1
normalized size 1 1.00 103.68 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 26.007 0.398 0.000 0.527 0.000 0.000 0.000
Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 63 63 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.037 0.597 0.430 0.000 0.495 0.000 0.000 0.000
Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 82 82 80 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.045 0.134 1.464 0.000 0.491 0.000 0.000 0.000
Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 101 0 77 85 0 0 -1
normalized size 1 1.00 1.36 0.00 1.04 1.15 0.00 0.00 -0.01
time (sec) N/A 0.066 2.101 0.626 0.952 0.564 0.000 0.000 0.000
Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 78 0 51 61 0 0 139
normalized size 1 1.00 1.59 0.00 1.04 1.24 0.00 0.00 2.84
time (sec) N/A 0.051 1.147 0.499 1.237 0.535 0.000 0.000 3.845
Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 25 25 24 40 0 0 49
normalized size 1 1.00 1.04 1.04 1.00 1.67 0.00 0.00 2.04
time (sec) N/A 0.039 0.019 0.107 0.732 0.542 0.000 0.000 2.642
Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 53 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.029 0.041 0.723 0.000 0.517 0.000 0.000 0.000
Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 50 50 939 0 0 0 0 0 -1
normalized size 1 1.00 18.78 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.047 4.096 1.494 0.000 0.469 0.000 0.000 0.000
Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 50 50 1712 0 0 0 0 0 -1
normalized size 1 1.00 34.24 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.045 12.629 1.522 0.000 0.553 0.000 0.000 0.000
Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 72 0 0 0 0 0 -1
normalized size 1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.038 0.130 0.465 0.000 0.585 0.000 0.000 0.000
Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 72 0 0 0 0 0 -1
normalized size 1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.038 0.101 0.429 0.000 0.544 0.000 0.000 0.000
Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 64 0 0 0 0 0 -1
normalized size 1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.024 0.071 0.689 0.000 0.656 0.000 0.000 0.000
Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 72 72 452 0 0 0 0 0 -1
normalized size 1 1.00 6.28 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.031 2.388 1.300 0.000 0.517 0.000 0.000 0.000
Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 78 78 1313 0 0 0 0 0 -1
normalized size 1 1.00 16.83 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.037 6.232 1.890 0.000 0.561 0.000 0.000 0.000
Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 52 0 0 0 0 0 -1
normalized size 1 1.00 1.30 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.046 0.098 0.487 0.000 0.503 0.000 0.000 0.000
Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 52 0 0 0 0 0 -1
normalized size 1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.036 0.049 0.968 0.000 0.566 0.000 0.000 0.000
Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 18 19 21 20 56 21 43
normalized size 1 1.00 1.00 1.06 1.17 1.11 3.11 1.17 2.39
time (sec) N/A 0.021 0.017 0.053 0.691 0.574 0.427 0.444 2.835
Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 36 6612 50 60 0 0 92
normalized size 1 1.00 0.84 153.77 1.16 1.40 0.00 0.00 2.14
time (sec) N/A 0.047 0.084 1.263 0.667 0.555 0.000 0.000 3.439
Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C A A F(-1) F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 63 16599 78 115 0 0 222
normalized size 1 1.00 0.91 240.57 1.13 1.67 0.00 0.00 3.22
time (sec) N/A 0.060 0.303 1.127 0.701 0.531 0.000 0.000 7.629
Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 212 0 0 0 0 0 -1
normalized size 1 1.00 3.37 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.036 1.382 0.475 0.000 0.557 0.000 0.000 0.000
Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 79 0 0 0 0 0 -1
normalized size 1 1.00 1.36 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.036 0.632 0.405 0.000 0.577 0.000 0.000 0.000
Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 186 0 0 0 0 0 -1
normalized size 1 1.00 2.95 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.036 1.189 0.425 0.000 0.534 0.000 0.000 0.000
Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 106 0 0 0 0 0 -1
normalized size 1 1.00 1.68 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.036 0.262 0.447 0.000 0.526 0.000 0.000 0.000
Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0 -1
normalized size 1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.167 5.584 0.549 0.000 0.589 0.000 0.000 0.000
Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0 -1
normalized size 1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.145 3.202 0.573 0.000 0.489 0.000 0.000 0.000
Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0 -1
normalized size 1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.151 1.264 0.542 0.000 0.522 0.000 0.000 0.000
Problem 386 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 87 0 0 0 0 0 -1
normalized size 1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.174 3.584 0.533 0.000 0.691 0.000 0.000 0.000
Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 89 89 287 0 0 0 0 0 -1
normalized size 1 1.00 3.22 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.150 2.042 1.532 0.000 0.721 0.000 0.000 0.000

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [9] had the largest ratio of [.7500]

Table 2.1:Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)
1 A 1 1 1.00 6 0.167
2 A 2 2 1.00 8 0.250
3 A 2 2 1.00 8 0.250
4 A 3 2 1.00 8 0.250
5 A 3 2 1.00 8 0.250
6 A 4 2 1.00 8 0.250
7 A 4 2 1.00 8 0.250
8 A 5 2 1.00 8 0.250
9 A 13 9 1.00 12 0.750
10 A 12 9 1.00 12 0.750
11 A 12 9 1.00 12 0.750
12 A 11 8 1.00 12 0.667
13 A 11 8 1.00 12 0.667
14 A 12 9 1.00 12 0.750
15 A 12 9 1.00 12 0.750
16 A 13 9 1.00 12 0.750
17 A 13 9 1.00 12 0.750
18 A 12 8 1.00 12 0.667
19 A 9 9 1.00 12 0.750
20 A 9 9 1.00 12 0.750
21 A 12 8 1.00 12 0.667
22 A 13 9 1.00 12 0.750
23 A 2 2 1.00 10 0.200
24 A 4 3 1.00 14 0.214
25 A 3 3 1.00 14 0.214
26 A 2 2 1.00 14 0.143
27 A 2 2 1.00 14 0.143
28 A 3 3 1.00 14 0.214
29 A 4 3 1.00 14 0.214
30 A 16 10 1.00 14 0.714
31 A 14 10 1.00 14 0.714
32 A 13 10 1.00 14 0.714
33 A 13 10 1.00 14 0.714
34 A 14 10 1.00 14 0.714
35 A 16 10 1.00 14 0.714
36 A 7 3 1.00 14 0.214
37 A 5 3 1.00 14 0.214
38 A 3 3 1.00 14 0.214
39 A 3 3 1.00 14 0.214
40 A 5 3 1.00 14 0.214
41 A 7 3 1.00 14 0.214
42 A 3 3 1.00 12 0.250
43 A 3 3 1.00 12 0.250
44 A 3 3 1.00 12 0.250
45 A 3 3 1.00 12 0.250
46 A 3 3 1.00 14 0.214
47 A 3 3 1.00 14 0.214
48 A 3 3 1.00 14 0.214
49 A 3 3 1.00 14 0.214
50 A 3 3 1.00 14 0.214
51 A 3 3 1.00 14 0.214
52 A 2 2 1.00 14 0.143
53 A 3 3 1.00 14 0.214
54 A 13 9 1.00 21 0.429
55 A 12 9 1.00 21 0.429
56 A 2 2 1.00 21 0.095
57 A 3 2 1.00 21 0.095
58 A 3 2 1.00 21 0.095
59 A 5 4 1.00 21 0.190
60 A 4 4 1.00 19 0.210
61 A 3 3 1.00 19 0.158
62 A 4 4 1.00 21 0.190
63 A 5 4 1.00 21 0.190
64 A 14 10 1.00 21 0.476
65 A 13 10 1.00 21 0.476
66 A 2 2 1.00 21 0.095
67 A 3 2 1.00 21 0.095
68 A 3 2 1.00 21 0.095
69 A 5 5 1.00 21 0.238
70 A 4 4 1.00 19 0.210
71 A 4 4 1.00 19 0.210
72 A 5 5 1.00 21 0.238
73 A 14 10 1.00 21 0.476
74 A 13 10 1.00 21 0.476
75 A 2 2 1.00 21 0.095
76 A 3 2 1.00 21 0.095
77 A 3 2 1.00 21 0.095
78 A 6 5 1.00 21 0.238
79 A 5 5 1.00 19 0.263
80 A 4 4 1.00 19 0.210
81 A 4 4 1.00 21 0.190
82 A 5 5 1.00 21 0.238
83 A 6 5 1.00 21 0.238
84 A 13 9 1.00 21 0.429
85 A 12 9 1.00 21 0.429
86 A 2 2 1.00 21 0.095
87 A 3 2 1.00 21 0.095
88 A 3 2 1.00 21 0.095
89 A 5 4 1.00 21 0.190
90 A 4 4 1.00 21 0.190
91 A 3 3 1.00 19 0.158
92 A 4 4 1.00 19 0.210
93 A 5 5 1.00 21 0.238
94 A 13 10 1.00 21 0.476
95 A 12 9 1.00 21 0.429
96 A 2 2 1.00 21 0.095
97 A 3 2 1.00 21 0.095
98 A 3 2 1.00 21 0.095
99 A 5 5 1.00 21 0.238
100 A 4 4 1.00 19 0.210
101 A 4 4 1.00 19 0.210
102 A 5 5 1.00 21 0.238
103 A 13 10 1.00 21 0.476
104 A 12 9 1.00 21 0.429
105 A 2 2 1.00 21 0.095
106 A 3 2 1.00 21 0.095
107 A 3 2 1.00 21 0.095
108 A 6 5 1.00 21 0.238
109 A 5 5 1.00 21 0.238
110 A 4 4 1.00 21 0.190
111 A 4 4 1.00 19 0.210
112 A 5 5 1.00 19 0.263
113 A 6 6 1.00 21 0.286
114 A 2 2 1.00 25 0.080
115 A 3 3 1.00 25 0.120
116 A 1 1 1.00 25 0.040
117 A 2 2 1.00 25 0.080
118 A 7 7 1.00 25 0.280
119 A 3 3 1.00 25 0.120
120 A 4 4 1.00 25 0.160
121 A 2 2 1.00 25 0.080
122 A 3 3 1.00 25 0.120
123 A 1 1 1.00 25 0.040
124 A 3 3 1.00 25 0.120
125 A 8 8 1.00 25 0.320
126 A 4 3 1.00 25 0.120
127 A 2 2 1.00 25 0.080
128 A 3 3 1.00 25 0.120
129 A 1 1 1.00 25 0.040
130 A 2 2 1.00 25 0.080
131 A 7 7 1.00 25 0.280
132 A 3 3 1.00 25 0.120
133 A 8 8 1.00 25 0.320
134 A 4 3 1.00 25 0.120
135 A 3 3 1.00 25 0.120
136 A 1 1 1.00 25 0.040
137 A 8 8 1.00 25 0.320
138 A 8 8 1.00 25 0.320
139 A 5 4 1.00 25 0.160
140 A 4 4 1.00 25 0.160
141 A 3 3 1.00 25 0.120
142 A 3 3 1.00 25 0.120
143 A 4 4 1.00 25 0.160
144 A 5 4 1.00 25 0.160
145 A 2 2 1.00 25 0.080
146 A 2 2 1.00 25 0.080
147 A 2 2 1.00 25 0.080
148 A 2 2 1.00 25 0.080
149 A 2 2 1.00 25 0.080
150 A 2 2 1.00 25 0.080
151 A 2 2 1.00 25 0.080
152 A 2 2 1.00 25 0.080
153 A 2 2 1.00 25 0.080
154 A 2 2 1.00 25 0.080
155 A 2 2 1.00 25 0.080
156 A 2 2 1.00 25 0.080
157 A 2 2 1.00 25 0.080
158 A 2 2 1.00 25 0.080
159 A 2 2 1.00 25 0.080
160 A 2 2 1.00 25 0.080
161 A 2 2 1.00 19 0.105
162 A 2 2 1.00 17 0.118
163 A 2 2 1.00 17 0.118
164 A 3 2 1.00 19 0.105
165 A 3 2 1.00 19 0.105
166 A 2 2 1.00 19 0.105
167 A 2 2 1.00 19 0.105
168 A 2 2 1.00 19 0.105
169 A 2 2 1.00 19 0.105
170 A 2 2 1.00 23 0.087
171 A 2 2 1.00 23 0.087
172 A 2 2 1.00 23 0.087
173 A 2 2 1.00 23 0.087
174 A 2 2 1.00 21 0.095
175 A 2 2 1.00 19 0.105
176 A 2 2 1.00 19 0.105
177 A 2 2 1.00 19 0.105
178 A 3 2 1.00 19 0.105
179 A 3 2 1.00 19 0.105
180 A 2 2 1.00 19 0.105
181 A 2 2 1.00 17 0.118
182 A 2 2 1.00 17 0.118
183 A 2 2 1.00 19 0.105
184 A 2 2 1.00 19 0.105
185 A 2 2 1.00 23 0.087
186 A 2 2 1.00 23 0.087
187 A 2 2 1.00 23 0.087
188 A 2 2 1.00 23 0.087
189 A 2 2 1.00 21 0.095
190 A 3 3 1.00 21 0.143
191 A 14 10 1.00 21 0.476
192 A 13 10 1.00 21 0.476
193 A 13 10 1.00 21 0.476
194 A 12 9 1.00 19 0.474
195 A 11 8 1.00 12 0.667
196 A 13 10 1.00 19 0.526
197 A 13 10 1.00 21 0.476
198 A 14 10 1.00 21 0.476
199 A 14 10 1.00 21 0.476
200 A 13 10 1.00 21 0.476
201 A 13 10 1.00 21 0.476
202 A 12 9 1.00 21 0.429
203 A 12 9 1.00 19 0.474
204 A 12 9 1.00 12 0.750
205 A 13 10 1.00 19 0.526
206 A 14 10 1.00 21 0.476
207 A 14 10 1.00 21 0.476
208 A 13 10 1.00 21 0.476
209 A 13 10 1.00 19 0.526
210 A 11 8 1.00 12 0.667
211 A 12 9 1.00 19 0.474
212 A 13 10 1.00 21 0.476
213 A 13 10 1.00 21 0.476
214 A 14 10 1.00 21 0.476
215 A 13 10 1.00 19 0.526
216 A 12 9 1.00 12 0.750
217 A 12 9 1.00 19 0.474
218 A 12 9 1.00 21 0.429
219 A 13 10 1.00 21 0.476
220 A 13 10 1.00 21 0.476
221 A 14 10 1.00 21 0.476
222 A 3 3 1.00 17 0.176
223 A 3 3 1.00 19 0.158
224 A 3 3 1.00 19 0.158
225 A 3 3 1.00 21 0.143
226 A 3 2 1.00 21 0.095
227 A 3 2 1.00 21 0.095
228 A 2 2 1.00 21 0.095
229 A 11 8 1.00 12 0.667
230 A 12 9 1.00 21 0.429
231 A 5 4 1.00 21 0.190
232 A 4 4 1.00 19 0.210
233 A 3 3 1.00 19 0.158
234 A 4 4 1.00 21 0.190
235 A 5 4 1.00 21 0.190
236 A 3 2 1.00 21 0.095
237 A 3 2 1.00 21 0.095
238 A 2 2 1.00 21 0.095
239 A 12 9 1.00 12 0.750
240 A 12 9 1.00 21 0.429
241 A 6 5 1.00 21 0.238
242 A 5 5 1.00 21 0.238
243 A 4 4 1.00 19 0.210
244 A 4 4 1.00 19 0.210
245 A 5 5 1.00 21 0.238
246 A 6 5 1.00 21 0.238
247 A 3 2 1.00 21 0.095
248 A 3 2 1.00 21 0.095
249 A 2 2 1.00 21 0.095
250 A 12 9 1.00 12 0.750
251 A 12 9 1.00 21 0.429
252 A 13 10 1.00 21 0.476
253 A 5 4 1.00 21 0.190
254 A 4 4 1.00 21 0.190
255 A 3 3 1.00 19 0.158
256 A 4 4 1.00 19 0.210
257 A 5 4 1.00 21 0.190
258 A 3 2 1.00 21 0.095
259 A 3 2 1.00 21 0.095
260 A 2 2 1.00 21 0.095
261 A 12 9 1.00 12 0.750
262 A 13 10 1.00 21 0.476
263 A 6 5 1.00 21 0.238
264 A 5 5 1.00 21 0.238
265 A 4 4 1.00 19 0.210
266 A 4 4 1.00 19 0.210
267 A 5 5 1.00 21 0.238
268 A 6 5 1.00 21 0.238
269 A 4 4 1.00 19 0.210
270 A 5 4 1.00 21 0.190
271 A 2 2 1.00 19 0.105
272 A 2 2 1.00 19 0.105
273 A 2 2 1.00 19 0.105
274 A 2 2 1.00 19 0.105
275 A 2 2 1.00 19 0.105
276 A 2 2 1.00 19 0.105
277 A 2 2 1.00 19 0.105
278 A 2 2 1.00 19 0.105
279 A 2 2 1.00 19 0.105
280 A 2 2 1.00 19 0.105
281 A 1 1 1.00 21 0.048
282 A 1 1 1.00 21 0.048
283 A 1 1 1.00 21 0.048
284 A 1 1 1.00 21 0.048
285 A 1 1 1.00 21 0.048
286 A 1 1 1.00 21 0.048
287 A 1 1 1.00 21 0.048
288 A 1 1 1.00 21 0.048
289 A 1 1 1.00 21 0.048
290 A 1 1 1.00 21 0.048
291 A 7 7 1.00 25 0.280
292 A 4 4 1.00 25 0.160
293 A 6 6 1.00 25 0.240
294 A 3 3 1.00 25 0.120
295 A 1 1 1.00 25 0.040
296 A 4 4 1.00 25 0.160
297 A 2 2 1.00 25 0.080
298 A 5 4 1.00 25 0.160
299 A 5 5 1.00 25 0.200
300 A 7 7 1.00 25 0.280
301 A 4 4 1.00 25 0.160
302 A 7 7 1.00 25 0.280
303 A 4 4 1.00 25 0.160
304 A 1 1 1.00 25 0.040
305 A 5 5 1.00 25 0.200
306 A 3 3 1.00 25 0.120
307 A 8 8 1.00 25 0.320
308 A 5 5 1.00 25 0.200
309 A 7 7 1.00 25 0.280
310 A 4 4 1.00 25 0.160
311 A 7 7 1.00 25 0.280
312 A 4 4 1.00 25 0.160
313 A 1 1 1.00 25 0.040
314 A 5 5 1.00 25 0.200
315 A 7 7 1.00 25 0.280
316 A 4 4 1.00 25 0.160
317 A 6 6 1.00 25 0.240
318 A 3 3 1.00 25 0.120
319 A 1 1 1.00 25 0.040
320 A 4 4 1.00 25 0.160
321 A 2 2 1.00 25 0.080
322 A 7 7 1.00 25 0.280
323 A 4 4 1.00 25 0.160
324 A 1 1 1.00 25 0.040
325 A 4 4 1.00 25 0.160
326 A 2 2 0.93 25 0.080
327 A 5 5 1.00 25 0.200
328 A 7 7 1.00 25 0.280
329 A 4 4 1.00 25 0.160
330 A 1 1 1.00 25 0.040
331 A 4 4 1.00 25 0.160
332 A 2 2 1.00 25 0.080
333 A 5 5 1.00 25 0.200
334 A 3 3 1.00 25 0.120
335 A 1 1 1.00 25 0.040
336 A 1 1 1.00 25 0.040
337 A 1 1 1.00 25 0.040
338 A 1 1 1.00 25 0.040
339 A 1 1 1.00 25 0.040
340 A 1 1 1.00 25 0.040
341 A 1 1 1.00 25 0.040
342 A 1 1 1.00 25 0.040
343 A 1 1 1.00 25 0.040
344 A 1 1 1.00 25 0.040
345 A 1 1 1.00 25 0.040
346 A 1 1 1.00 25 0.040
347 A 1 1 1.00 25 0.040
348 A 1 1 1.00 25 0.040
349 A 1 1 1.00 25 0.040
350 A 1 1 1.00 25 0.040
351 A 3 2 1.00 19 0.105
352 A 3 2 1.00 19 0.105
353 A 2 2 1.00 17 0.118
354 A 2 2 1.00 17 0.118
355 A 2 2 1.00 19 0.105
356 A 2 2 1.00 19 0.105
357 A 1 1 1.00 19 0.053
358 A 1 1 1.00 19 0.053
359 A 1 1 1.00 19 0.053
360 A 1 1 1.00 19 0.053
361 A 1 1 1.00 19 0.053
362 A 1 1 1.00 21 0.048
363 A 3 2 1.00 19 0.105
364 A 3 2 1.00 19 0.105
365 A 2 2 1.00 19 0.105
366 A 2 2 1.00 10 0.200
367 A 2 2 1.00 19 0.105
368 A 2 2 1.00 19 0.105
369 A 1 1 1.00 19 0.053
370 A 1 1 1.00 19 0.053
371 A 1 1 1.00 17 0.059
372 A 1 1 1.00 17 0.059
373 A 1 1 1.00 19 0.053
374 A 2 2 1.00 19 0.105
375 A 2 2 1.00 17 0.118
376 A 2 2 1.00 17 0.118
377 A 3 2 1.00 19 0.105
378 A 3 2 1.00 19 0.105
379 A 1 1 1.00 19 0.053
380 A 1 1 1.00 19 0.053
381 A 1 1 1.00 19 0.053
382 A 1 1 1.00 19 0.053
383 A 3 3 1.00 23 0.130
384 A 3 3 1.00 23 0.130
385 A 3 3 1.00 23 0.130
386 A 3 3 1.00 23 0.130
387 A 3 3 1.00 21 0.143

[next] [prev] [prev-tail] [front] [up]